1401. Reliable software technologies--Ada-Europe 2012
Author: Mats Brorsson, Luís Miguel Pinho (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
R44
A33
2012eb


1402. Reliable software technologies, Ada-Europe 2010 :
Author: Jorge Real, Tullio Vardanega (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.

1403. Reliable software technologies--Ada-Europe 201
Author: Alexander Romanovsky, Tullio Vardanega (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer software, Reliability, Congresses,Software engineering, Congresses
Classification :
QA
،
76
.
76
،.
R44


1404. Reliable software technologies--Ada-Europe 2009
Author: Fabrice Kordon, Yvon Kermarrec (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses
Classification :
QA76
.
76
.
R44
A33
2009


1405. Requirements engineering :
Author: Joerg Doerr, Andreas L. Opdahl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information Systems.,Software engineering.

1406. Requirements engineering :
Author: Eric Knauss, Michael Goedicke (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control, Congresses.,Requirements engineering, Congresses.,Computer software-- Quality control.,Requirements engineering.
Classification :
QA76
.
758


1407. Requirements engineering: Foundation for software quality
Author: Björn Regnell, Daniela Damian (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control, Congresses,Requirements engineering, Congresses
Classification :
QA76
.
758
.
R44
2012eb


1408. Requirements engineering: foundation for software quality :
Author: Daniel Berry, Xavier Franch (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Requirements engineering, Congresses
Classification :
QA76
.
758
.
R44
2011


1409. Research and development in intelligent systems XIX :
Author: Max Bramer, Alun Preece, and Frans Coenen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Inteligencia artificial -- Congresos.,Sistemas expertos (Informática) -- Congresos.,Sistemas expertos (Informática) -- Congresos.
Classification :
QA76
.
76
.
E95
M393
2003


1410. Research and education in robotics-EUROBOT 2008 :
Author: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
TJ210
.
3
.
E976
2009eb


1411. Research in systems analysis and design :
Author: Stanisław Wrycza (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses.,System design, Congresses.,Systems programming (Computer science), Congresses.
Classification :
QA76
.
9
.
S88
S54
2011


1412. Reuse in the Big Data Era :
Author: Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
Classification :
QA76
.
76
.
R47
I587
2019


1413. Reverse engineering
Author: Walter Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: COMPUTERS -- Programming -- Open Source.,COMPUTERS -- Software Development & Engineering -- Tools.,Reverse engineering.
Classification :
TA168
.
5
W358
2007


1414. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48


1415. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013


1416. 30, 2010. Revised Papers-Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27
Author: / Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

1417. 15, 2009. Revised Selected Papers-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-Programming Multi
Author: / Pierre Briot, John Thangarajah (eds.)-Munindar P. Singh, Amit K. Chopra (auth.), Lars Braubach, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

1418. 17, 2010, Revised Selected Papers-DNA Computing and Molecular Programming: 16th International Conference, DNA 16, Hong Kong, China, June 14
Author: / Yuriy Brun (auth.), Yasubumi Sakakibara, Yongli Mi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

1419. 17, 2009, Revised Selected Papers-Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15
Author: / Sullivan (eds.)بStefano Bistarelli, Daniele Pirolandi, Francesco Santini (auth.), Javier Larrosa, Barry O
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK

1420. 19, 2010. Revised Selected Papers-Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17
Author: / k (eds.)لria Zsلth, Viktعn HorvعStephen Chang, David Van Horn, Matthias Felleisen (auth.), Rex Page, Zolt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
